Topological (Bi-)Simulation

Topological (Bi-)Simulation

Brandt extensions and primitive topologically periodic inverse topological semigroups

In this paper we find sufficient conditions on primitive inverse topological semigroup S under which: the inversion inv : (H(S)) (H(S)) is continuous; we show that every topologically periodic countable compact primitive inverse topological semigroups with closed H-classes is topologically isomorphic to an orthogonal sum P i2= Bi (Gi) of topological Brandt extensions Bi (Gi) of countably compac...

Brics Ns-03-1

In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...

Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory GETCO ’ 03 Marseille , France , September 6 , 2003

In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...

Lattice-Valued Quasi-bi-Uniformizability of Lattice-Valued Quasi-bi-Topological Neighborhood Groups

Considering a frame L, we introduce the notions of stratified L-semi-topological neighborhood group, stratified L-quasi-topological neighborhood group, and stratified L-quasi-bi-topological neighborhood group. In so doing, we look at the notion of stratified L-right (left) semi-topological neighborhood group, provide some basic facts, and present a construction of a stratified L-right semi-topo...